Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
221	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
222	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
223	Design of a Hypermedia Interface Translating between Associative and Formal Representations Francis HEYLIGHEN* PESP, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium ABSTRACT. It is argued that in orde Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:20 Cognitive architecture User interface Semantics Usability C dynamic memory allocation Cognition Computing Adaptive educational hypermedia Adaptive hypermedia Human–computer interaction Software ACT-R
224	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic
225	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
226	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
227	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
228	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
229	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
230	Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2011-11-16 09:42:27 Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics

UPDATE